Computer Science

Module	LV Type	CP	LV	Dates	Examination
Advanced Automata Theory	Fach-/Modulprüfung	6	505292
Advanced Internet Technology	Fach-/Modulprüfung	6	501653
	Vorlesung		497446	Di 12:30-14:00 AH I (2350\|028) (×13) Fr 12:30-14:00 AH I (2350\|028) (×14)
	Übung		497878	Di 16:30-18:00 AH I (2350\|028) (×8)
Advanced Machine Learning	Fach-/Modulprüfung	6	504786		Di 13.08.2024 14:30-16:30 H02 (1385\|102) Otto Fuchs-Hörsaal (H03) (1385\|003)
Advanced Machine Learning	Vorlesung		498041	Di 14:30-16:00 AH IV (2354\|030) (×11) Do 14:30-16:00 AH V (2356\|050) (×12)
Advanced Methods in Automatic Speech Recognition	Fach-/Modulprüfung	6	503322
Advanced Statistical Classification	Fach-/Modulprüfung	6	502398
Advanced Topics in Machine Learning for Human Language Technology	Fach-/Modulprüfung	4	521914
Algorithmische Modelltheorie I	Fach-/Modulprüfung	8	508371
	Vorlesung		508160	Mo 12:30-14:00 AH II (2350\|111) (×13) Mi 12:30-14:00 AH I (2350\|028) (×11)
	Übung		508159	Do 16:30-18:00 IV (1010\|141) (×10)
Automatic Speech Recognition Search	Fach-/Modulprüfung	4	520233
	Vorlesung		520231	Mi 08:30-10:00 AH II (2350\|111) (×8) Mi 08:30-10:00 Ort/Zeit noch nicht bekannt (×3) Do 08:30-10:00 AH I (2350\|028) (×1) Do 08:30-10:00 Ort/Zeit noch nicht bekannt (×1)
	Übung		520232	Do 08:30-10:00 AH I (2350\|028) (×6)
Business Process Intelligence	Fach-/Modulprüfung	6	503615
	Vorlesung		499331	Mo 14:30-16:00 AH V (2356\|050) (×13) Di 10:30-12:00 AH V (2356\|050) (×12) Mi 14:30-17:30 AH V (2356\|050) (×1)
	Übung		499332	Di 17:30-19:00 AH III (2350\|314.1) (×10)
Communication Systems Engineering	Fach-/Modulprüfung	6	501608
Computer Vision	Fach-/Modulprüfung	6	505721		Fr 30.08.2024 08:30-10:30 H01 (1385\|101) H02 (1385\|102) TEMP2 (1515\|002) Fr 30.08.2024 08:30-10:30 H01 (1385\|101) H02 (1385\|102) TEMP2 (1515\|002)
Computer Vision	Vorlesung/Übung		498488	Mo 14:30-16:00 H02 (1385\|102) (×13) Di 10:30-12:00 Grüner Hörsaal AM (Gr) (1420\|001) (×10) Di 10:30-12:00 Online-Veranstaltung (×1)
CSCW and Groupware: Concepts and Systems for Computer Supported Cooperative Work	Fach-/Modulprüfung	4	505714
Current Topics in Media Computing and HCI	Fach-/Modulprüfung	6	505288
Current Topics in Media Computing and HCI	Vorlesung/Übung		499051	Di 10:30-12:00 Seminarraum Informatik 10 (2350\|222) (×12) Mi 12:30-14:00 Seminarraum Informatik 10 (2350\|222) (×12)
Datenstrommanagement und -analyse	Fach-/Modulprüfung	6	503378
Datenstrommanagement und -analyse	Vorlesung/Übung		500471	Mo 08:30-10:00 AH VI (2356\|051) (×13) Fr 08:30-10:00 AH VI (2356\|051) (×12)
Designing Interactive Systems II	Fach-/Modulprüfung	6	505716
Designing Interactive Systems II	Vorlesung/Übung		498956	Mo 14:30-16:00 Seminarraum Informatik 10 (2350\|222) (×12) Mi 09:30-12:00 Seminarraum Informatik 10 (2350\|222) (×12)
Distributed Ledger Technology	Fach-/Modulprüfung	4	504268
Eingebettete Systeme	Fach-/Modulprüfung	6	505713
	Vorlesung/Übung		498336	Mo 14:30-16:00 AH II (2350\|111) (×13) Di 10:30-12:00 AH III (2350\|314.1) (×11)
	Vorlesung/Übung		500941	Mo 16:30-18:00 AH III (2350\|314.1) (×13) Di 14:30-16:00 AH III (2350\|314.1) (×12)
Fixpoints and Induction in Logic and Computer Science	Fach-/Modulprüfung	6	502947
	Vorlesung		499722	Mo 10:30-12:00 5056 (2356\|056) (×12) Do 10:30-12:00 5056 (2356\|056) (×8)
	Übung		500485	Mo 16:30-18:00 5052 (2356\|052) (×11)
Formale Grundlagen von UML	Fach-/Modulprüfung	6	504883
Foundations of Functional Programming	Fach-/Modulprüfung	6	503629
	Übung		507758	Di 09:30-12:00 AH VI (2356\|051) (×1) Do 10:00-13:00 AH II (2350\|111) (×1) Fr 14:30-16:00 AH IV (2354\|030) (×1) Fr 14:30-16:00 AH V (2356\|050) (×10)
	Vorlesung		507759	Mo 16:30-18:00 AH V (2356\|050) (×10) Fr 10:30-12:00 AH V (2356\|050) (×10) Fr 14:30-16:00 AH V (2356\|050) (×1)
Foundations of Logic Programming	Fach-/Modulprüfung	6	504847
Fundamentals of Business Process Management	Fach-/Modulprüfung	6	503476
	Vorlesung		500210	Di 16:30-18:00 AH VI (2356\|051) (×6)
	Übung		500211	Di 16:30-18:00 AH VI (2356\|051) (×1) Mi 12:30-14:00 AH II (2350\|111) (×1) Do 12:30-14:00 AH VI (2356\|051) (×11)
Geometrieverarbeitung	Fach-/Modulprüfung	6	505715
	Vorlesung		498791	Di 10:30-12:00 AH I (2350\|028) (×13) Do 10:30-12:00 AH V (2356\|050) (×11)
	Übung		497894	Fr 10:30-12:00 2359\|118 (×14)
Graphzerlegungen und algorithmische Anwendungen	Fach-/Modulprüfung	6	505424
Infinite Computations and Games	Fach-/Modulprüfung	6	502151
IT-Sicherheit 1 - Kryptographische Grundlagen und Netzwerksicherheit	Fach-/Modulprüfung	6	502651
IT-Sicherheit 2 - Computer Security	Fach-/Modulprüfung	6	505286
IT-Sicherheit 2 - Computer Security	Vorlesung/Übung		520973	Mo 12:30-14:00 Otto Fuchs-Hörsaal (H03) (1385\|003) (×13) Mo 13:00-15:00 UMIC_025 (2165\|025) (×1) Di 08:30-10:00 H07 (1385\|104) (×14)
Leistungs- und Korrektheitsanalyse paralleler Programme	Fach-/Modulprüfung	6	504957
Leistungs- und Korrektheitsanalyse paralleler Programme	Vorlesung/Übung		499499	Di 10:30-12:00 5054 (2356\|054) (×11) Do 14:30-16:00 5056 (2356\|056) (×11) Do 14:30-16:00 Extern (×1)
Logics for Reasoning about Uncertainty	Fach-/Modulprüfung	4	501887
Machine Learning with Graphs: Foundations and Applications	Fach-/Modulprüfung	6	504053
Machine Learning with Graphs: Foundations and Applications	Vorlesung/Übung		500132	Mo 10:30-12:00 BS I (2131\|101) (×14) Do 10:30-12:00 R 5 (1080\|005) (×10) Fr 10:30-12:00 S02 (1385\|202) (×13)
Mobile Internet Technology	Fach-/Modulprüfung	6	504849
Mobile Internet Technology	Vorlesung/Übung		507660	Mi 10:30-12:00 AH I (2350\|028) (×8) Do 10:30-12:00 AH I (2350\|028) (×8) Fr 10:30-12:00 AH I (2350\|028) (×8)
Model Checking	Fach-/Modulprüfung	6	504841
Modeling and Verification of Probabilistic Systems	Fach-/Modulprüfung	6	502629
Modellbasierte Softwareentwicklung	Fach-/Modulprüfung	6	505710
Modellierung und Analyse hybrider Systeme	Fach-/Modulprüfung	6	504842
Modellierung und Analyse hybrider Systeme	Vorlesung/Übung		508421	Di 12:30-14:00 AH II (2350\|111) (×12) Fr 10:30-12:00 AH III (2350\|314.1) (×12)
Online Algorithmen	Fach-/Modulprüfung	6	501993
Physikalische Simulation im Visual Computing	Fach-/Modulprüfung	6	501804
	Fach-/Modulprüfung	6	504237
	Vorlesung/Übung		500854	Mi 10:30-12:00 5056 (2356\|056) (×12) Fr 10:30-12:00 5056 (2356\|056) (×13)
Probabilistic Programming	Fach-/Modulprüfung	4	502019
	Vorlesung		508289	Mo 10:30-12:00 AH III (2350\|314.1) (×8) Di 12:30-14:00 AH V (2356\|050) (×7) Mi 16:30-18:00 AH III (2350\|314.1) (×2) Fr 10:30-12:00 AH II (2350\|111) (×1) Fr 14:30-16:00 AH II (2350\|111) (×1)
	Übung		508290	Di 12:30-14:00 AH V (2356\|050) (×2) Mi 16:30-18:00 AH III (2350\|314.1) (×7)
Prozesse und Methoden beim Testen von Software	Fach-/Modulprüfung	3	505723
Prozesse und Methoden beim Testen von Software	Fach-/Modulprüfung	6	505722
Quantum Computing	Fach-/Modulprüfung	4	502153
Reinforcement Learning and Learning-based Control	Fach-/Modulprüfung	6	505325
	Vorlesung		500280	Mi 08:30-10:00 PPS H2 (2315\|001) (×13)
	Übung		500052	Di 08:30-10:00 PPS H2 (2315\|001) (×13)
Sicherheit in der Mobilkommunikation	Fach-/Modulprüfung	6	504782
Software-Projektmanagement	Fach-/Modulprüfung	4	504853
	Vorlesung		499076	Mi 09:00-11:00 5052 (2356\|052) (×1) Mi 14:00-15:30 5052 (2356\|052) (×1) Do 10:30-12:00 AH III (2350\|314.1) (×12) Fr 08:30-10:00 AH III (2350\|314.1) (×14)
	Übung		497525	Fr 12:30-14:00 AH II (2350\|111) (×11)
Software-Qualitätssicherung	Fach-/Modulprüfung	6	504797
Statistische Klassifikation und Maschinelles Lernen	Fach-/Modulprüfung	8	501571
Statistische Methoden zur Verarbeitung natürlicher Sprache	Fach-/Modulprüfung	8	504955
The Logic of Knowledge Bases	Fach-/Modulprüfung	6	502006
Theory of Constraint Satisfaction Problems	Fach-/Modulprüfung	6	504758
Theory of Distributed and Parallel Systems	Fach-/Modulprüfung	6	501685
Wissensrepräsentation	Fach-/Modulprüfung	6	504857
Wissensrepräsentation	Vorlesung/Übung		497775	Mo 08:30-10:00 AH III (2350\|314.1) (×13) Di 08:30-10:00 AH II (2350\|111) (×13) Mi 14:30-16:00 AH III (2350\|314.1) (×11)